Interactive proof system

Results: 103



#Item
81Probabilistic complexity theory / Cryptographic protocols / IP / Probabilistically checkable proof / NP / Soundness / Mathematical proof / P / Interactive proof system / Theoretical computer science / Applied mathematics / Complexity classes

Framework Proofs One prover proofs Two prover games Written proofs PCP-theorem

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2005-08-04 03:11:39
82Soundness / XTR / Interactive proof system / Arthur–Merlin protocol / NP / Theoretical computer science / Applied mathematics / IP

Distinguishing Distributions Using Chernoff Information Thomas Baign`eres1, Pouyan Sepehrdad2 , and Serge Vaudenay2

Add to Reading List

Source URL: www.baigneres.net

Language: English - Date: 2013-07-24 10:25:38
83Complexity classes / Probabilistic complexity theory / NP / IP / Interactive proof system / Bounded-error probabilistic polynomial / PP / Randomized algorithm / XTR / Theoretical computer science / Computational complexity theory / Applied mathematics

The KnowledgeComplexity of Interactive Proof-Systems (ExtendedAbstract) ShafiGoldwasser SilvioMicali CharlesRackoff

Add to Reading List

Source URL: groups.csail.mit.edu

Language: English - Date: 2003-11-26 11:19:12
84Applied mathematics / Complexity classes / Arthur–Merlin protocol / Probabilistic complexity theory / Zero-knowledge proof / IP / NP / Proof of knowledge / Interactive proof system / Theoretical computer science / Cryptography / Cryptographic protocols

COM S 6810 Theory of Computing March 24, 2009

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2009-03-26 12:29:21
85Cryptographic protocols / Computational complexity theory / Interactive proof system / Zero-knowledge proof / Complexity classes / IP / Soundness / NP / Mathematical proof / Theoretical computer science / Cryptography / Applied mathematics

[removed]Special Topics in Theoretical Cryptography[removed]

Add to Reading List

Source URL: www.cs.jhu.edu

Language: English - Date: 2007-02-07 22:57:37
86Complexity classes / Probabilistic complexity theory / Mathematical optimization / Mathematical proofs / Interactive proof system / NP / Probabilistically checkable proof / P versus NP problem / MAX-3SAT / Theoretical computer science / Computational complexity theory / Applied mathematics

Interactive Proofs and the Hardness of Approximating Cliques Uriel Feige ∗

Add to Reading List

Source URL: web.cs.elte.hu

Language: English - Date: 2007-01-10 14:31:22
87Complexity classes / Cryptographic protocols / Probabilistic complexity theory / Models of computation / Interactive proof system / Zero-knowledge proof / NP / IP / Arthur–Merlin protocol / Theoretical computer science / Computational complexity theory / Applied mathematics

Proofs that Yield

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2007-09-05 09:58:11
88Applied mathematics / Zero-knowledge proof / IP / NP / Commitment scheme / Alice and Bob / Salil Vadhan / Interactive proof system / Non-interactive zero-knowledge proof / Cryptography / Cryptographic protocols / Theoretical computer science

A Study of Perfect Zero-Knowledge Proofs by

Add to Reading List

Source URL: www.lior.ca

Language: English - Date: 2012-08-30 02:25:08
89Complexity classes / IP / Challenge-response authentication / NP / Commitment scheme / Alice and Bob / Distance-bounding protocol / Interactive proof system / Cryptography / Cryptographic protocols / Applied mathematics

delay_measurem.eps

Add to Reading List

Source URL: www.syssec.ethz.ch

Language: English - Date: 2010-06-07 06:13:30
90Cryptographic protocols / Zero-knowledge proof / Interactive proof system / Proof theory / IP / Commitment scheme / NP / Soundness / Permutation / Cryptography / Theoretical computer science / Applied mathematics

PDF Document

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2009-04-07 21:43:47
UPDATE